Developed in 1980, The DENDRAL Project dealt with analysis of molecular structure in organic chemistry. The chemical and physical properties of compounds are determined not just by their constituent atoms, but by the arrangement of these atoms as well...

Software, information and legalese.

Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages.

Carnegie Mellon School of Computer Science. Phd Student. Intersection of computer science and game theory, computer science and economics, multiagent systems, automated negotiation and contracting.

Conference on Automated Learning and Discovery. Carnegie Mellon University, June 11-13 1998.

Listing of computer vision conferences from the Computer Vision Homepage. Includes all major vision conferences and links to their websites.

Carnegie Mellon list

We develop new models, theories, methods, languages, and tools for classifying, specifying, analyzing, and designing software systems beyond the component level. This support could lead to substantial reduction in maintenance costs, improvement in sof...

A user study. Users performing a generic search task decrease task performance time by roughly half when changed from stationary to head-mounted displays with matching traits.

By David S. Touretzky; Benjamin-Cummings, 1989, ISBN 0805304924. Fine introduction for beginners; even one who never programmed before in any language will be able to use this book, yet covers all relevant topics thoroughly. Full version online, two f...